$\forall$$a$, $b$, $n$:$\mathbb{Z}$. ($a$ = $b$) $\Rightarrow$ (($n$ $\ast$ $a$) = ($n$ $\ast$ $b$))